Formal Specification Generation from Requirement Documents
نویسندگان
چکیده
منابع مشابه
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility of accomplishing system properties validation. This paper proposes a Controlled Natural Language (CNL), use case specification templates, and a strategy and tool support to generate process algebraic formal models (in CSP n...
متن کاملTest-Sequence Generation from Formal Requirement Models
This paper discusses a method for generating test sequences from state-based specifications. We show how a model checker can be used to automatically generate complete test sequences that will provide arbitrary structural coverage of requirements specified in a high-level language like SCR or RSML−e. We have defined a language independent formal foundation for test sequence generation using mod...
متن کاملUNIX STREAMS Generation from a Formal Specification
This paper describes a new idea of rapid protocol implementation starting from its formal specification, namely to generate Unix STREAMS modules. We have exercised this idea using Estelle formal specification technique. The generator was written for Linux system. The paper demonstrates how the semantic problems were resolved and gives some conclusions from generations we have performed.
متن کاملMethodological Support for Object Identification from Formal Requirement Specification
The challenges of object-oriented design are to identify the objects and classes needed to implement the software, and to define the behaviors and the attributes of the objects from requirement specification. These are very complicated challenges because of there dependence on heuristic. Formal requirement specification have the additional advantage over informal requirement specification becau...
متن کاملFormal Specification of UML Requirement Models
The Unified Modeling Language (UML) is the de-facto standard modeling language for the development of software with broad ranges of applications. It supports for modeling a software at different stages during its development: requirement analysis, design and implementation. The use of UML encourages software developers to devote more effort on requirement analysis and modeling to produce better...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2008
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2007.08.032